solution correspondence